example(active(m1),1,8).
example(active(m7),-1,10).
example(active(m16),-1,4).
example(active(m21),1,9).
example(active(m26),1,1).
example(active(m31),1,3).
example(active(m36),-1,5).
example(active(m42),-1,9).
example(active(m47),1,4).
example(active(m52),-1,10).
example(active(m57),-1,1).
example(active(m62),-1,6).
example(active(m67),-1,3).
example(active(m72),-1,3).
example(active(m77),-1,8).
example(active(m82),-1,4).
example(active(m88),1,8).
example(active(m95),1,10).
example(active(m100),-1,1).
example(active(m106),1,3).
example(active(m111),-1,4).
example(active(m117),-1,10).
example(active(m122),-1,10).
example(active(m127),-1,8).
example(active(m132),-1,1).
example(active(m137),1,4).
example(active(m142),-1,10).
example(active(m147),-1,9).
example(active(m152),-1,7).
example(active(m157),1,6).
example(active(m163),-1,8).
example(active(m169),-1,7).
example(active(m174),-1,3).
example(active(m179),-1,8).
example(active(m184),-1,1).
example(active(m189),-1,4).
example(active(m194),-1,10).
example(active(m199),-1,10).
example(active(m204),-1,10).
example(active(m209),-1,2).
example(active(m214),-1,8).
example(active(m219),-1,3).
example(active(m224),-1,4).
example(active(m229),-1,7).
example(active(m234),-1,6).
example(active(m239),1,6).
example(active(m244),-1,9).
example(active(m249),1,2).
example(active(m254),1,5).
example(active(m260),-1,8).
example(active(m267),1,2).
example(active(m272),-1,4).
example(active(m277),-1,9).
example(active(m282),-1,5).
example(active(m287),-1,9).
example(active(m292),-1,1).
example(active(m298),-1,5).
example(active(m303),1,7).
example(active(m308),1,1).
example(active(m313),1,4).
example(active(m318),1,3).
example(active(m324),-1,7).
example(active(m329),-1,10).
example(active(m334),1,5).
example(active(m339),-1,2).
example(active(m345),-1,4).
example(active(m351),-1,8).
example(active(m356),1,9).
example(active(m361),-1,9).
example(active(m366),1,4).
example(active(m371),-1,9).
example(active(m376),-1,2).
example(active(m382),1,6).
example(active(m388),1,4).
example(active(m393),-1,6).
example(active(m398),-1,5).
example(active(m404),-1,4).
example(active(m409),1,7).
example(active(m414),1,6).
example(active(m419),-1,10).
example(active(m424),-1,6).
example(active(m429),-1,5).
example(active(m435),-1,10).
example(active(m440),1,2).
example(active(m446),-1,8).
example(active(m451),-1,6).
example(active(m458),-1,6).
example(active(m463),1,5).
example(active(m468),-1,2).
example(active(m473),1,9).
example(active(m478),1,9).
example(active(m483),1,4).
example(active(m489),1,6).
example(active(m494),-1,3).
example(active(m499),-1,3).
example(active(m504),1,7).
example(active(m510),1,7).
example(active(m516),-1,8).
example(active(m523),-1,9).
example(active(m528),-1,5).
example(active(m533),1,2).
example(active(m538),1,8).
example(active(m543),1,2).
example(active(m548),-1,9).
example(active(m553),-1,8).
example(active(m558),-1,9).
example(active(m563),1,8).
example(active(m568),1,8).
example(active(m573),-1,5).
example(active(m578),-1,5).
example(active(m584),-1,10).
example(active(m590),-1,2).
example(active(m596),1,6).
example(active(m601),1,6).
example(active(m606),-1,6).
example(active(m613),1,9).
example(active(m2),-1,3).
example(active(m8),1,10).
example(active(m17),-1,9).
example(active(m22),-1,3).
example(active(m27),1,1).
example(active(m32),-1,8).
example(active(m38),-1,5).
example(active(m43),-1,9).
example(active(m48),-1,6).
example(active(m53),-1,9).
example(active(m58),1,4).
example(active(m63),1,1).
example(active(m68),-1,7).
example(active(m73),-1,3).
example(active(m78),-1,3).
example(active(m83),1,6).
example(active(m90),-1,3).
example(active(m96),1,3).
example(active(m101),1,8).
example(active(m107),1,2).
example(active(m113),1,6).
example(active(m118),-1,3).
example(active(m123),1,2).
example(active(m128),1,2).
example(active(m133),-1,1).
example(active(m138),-1,2).
example(active(m143),-1,9).
example(active(m148),-1,8).
example(active(m153),-1,7).
example(active(m158),-1,1).
example(active(m164),-1,1).
example(active(m170),1,10).
example(active(m175),1,6).
example(active(m180),-1,7).
example(active(m185),1,3).
example(active(m190),1,9).
example(active(m195),-1,6).
example(active(m200),-1,10).
example(active(m205),-1,5).
example(active(m210),-1,4).
example(active(m215),-1,10).
example(active(m220),-1,1).
example(active(m225),1,6).
example(active(m230),-1,7).
example(active(m235),-1,4).
example(active(m240),-1,7).
example(active(m245),-1,4).
example(active(m250),-1,1).
example(active(m255),-1,9).
example(active(m261),1,5).
example(active(m268),-1,1).
example(active(m273),-1,5).
example(active(m278),-1,7).
example(active(m283),-1,5).
example(active(m288),-1,7).
example(active(m293),-1,5).
example(active(m299),-1,4).
example(active(m304),1,9).
example(active(m309),-1,5).
example(active(m314),-1,1).
example(active(m319),1,1).
example(active(m325),-1,10).
example(active(m330),-1,4).
example(active(m335),-1,8).
example(active(m340),1,6).
example(active(m346),-1,8).
example(active(m352),1,3).
example(active(m357),1,10).
example(active(m362),-1,8).
example(active(m367),1,6).
example(active(m372),-1,7).
example(active(m377),1,6).
example(active(m383),1,4).
example(active(m389),1,1).
example(active(m394),-1,5).
example(active(m399),-1,9).
example(active(m405),1,6).
example(active(m410),-1,6).
example(active(m415),1,6).
example(active(m420),1,5).
example(active(m425),-1,3).
example(active(m430),1,2).
example(active(m436),-1,10).
example(active(m441),1,3).
example(active(m447),-1,5).
example(active(m453),1,6).
example(active(m459),1,9).
example(active(m464),-1,7).
example(active(m469),1,3).
example(active(m474),-1,6).
example(active(m479),1,2).
example(active(m484),1,4).
example(active(m490),-1,10).
example(active(m495),-1,8).
example(active(m500),-1,4).
example(active(m505),1,8).
example(active(m511),-1,6).
example(active(m517),1,1).
example(active(m524),1,3).
example(active(m529),-1,2).
example(active(m534),1,9).
example(active(m539),-1,8).
example(active(m544),-1,2).
example(active(m549),1,6).
example(active(m554),-1,6).
example(active(m559),1,9).
example(active(m564),1,6).
example(active(m569),-1,7).
example(active(m574),-1,8).
example(active(m579),-1,10).
example(active(m585),1,5).
example(active(m592),-1,2).
example(active(m597),1,7).
example(active(m602),1,2).
example(active(m608),-1,3).
example(active(m4),1,1).
example(active(m11),1,5).
example(active(m18),-1,5).
example(active(m23),-1,6).
example(active(m28),-1,10).
example(active(m33),1,8).
example(active(m39),1,6).
example(active(m44),-1,4).
example(active(m49),-1,10).
example(active(m54),-1,1).
example(active(m59),-1,6).
example(active(m64),-1,6).
example(active(m69),-1,7).
example(active(m74),-1,4).
example(active(m79),1,3).
example(active(m84),1,7).
example(active(m91),1,9).
example(active(m97),1,10).
example(active(m102),1,2).
example(active(m108),-1,5).
example(active(m114),-1,9).
example(active(m119),1,9).
example(active(m124),1,8).
example(active(m129),-1,2).
example(active(m134),1,10).
example(active(m139),-1,4).
example(active(m144),-1,2).
example(active(m149),-1,2).
example(active(m154),-1,5).
example(active(m159),-1,10).
example(active(m165),-1,6).
example(active(m171),-1,10).
example(active(m176),1,1).
example(active(m181),1,10).
example(active(m186),-1,4).
example(active(m191),-1,5).
example(active(m196),-1,1).
example(active(m201),-1,8).
example(active(m206),-1,6).
example(active(m211),-1,8).
example(active(m216),-1,6).
example(active(m221),-1,1).
example(active(m226),-1,7).
example(active(m231),-1,5).
example(active(m236),-1,8).
example(active(m241),-1,9).
example(active(m246),-1,5).
example(active(m251),-1,1).
example(active(m256),1,1).
example(active(m262),1,7).
example(active(m269),1,3).
example(active(m274),1,5).
example(active(m279),-1,8).
example(active(m284),1,5).
example(active(m289),-1,2).
example(active(m294),1,9).
example(active(m300),-1,6).
example(active(m305),-1,9).
example(active(m310),-1,10).
example(active(m315),-1,10).
example(active(m321),1,10).
example(active(m326),-1,4).
example(active(m331),1,4).
example(active(m336),-1,8).
example(active(m341),-1,8).
example(active(m347),-1,4).
example(active(m353),-1,3).
example(active(m358),1,6).
example(active(m363),1,7).
example(active(m368),1,4).
example(active(m373),-1,5).
example(active(m378),-1,1).
example(active(m384),-1,7).
example(active(m390),1,1).
example(active(m395),-1,5).
example(active(m400),-1,1).
example(active(m406),1,6).
example(active(m411),1,7).
example(active(m416),-1,9).
example(active(m421),1,6).
example(active(m426),1,4).
example(active(m431),-1,8).
example(active(m437),1,7).
example(active(m443),-1,9).
example(active(m448),-1,7).
example(active(m454),-1,8).
example(active(m460),-1,2).
example(active(m465),1,9).
example(active(m470),1,5).
example(active(m475),1,10).
example(active(m480),-1,8).
example(active(m485),-1,4).
example(active(m491),-1,2).
example(active(m496),-1,1).
example(active(m501),-1,3).
example(active(m507),-1,4).
example(active(m512),1,8).
example(active(m518),1,2).
example(active(m525),-1,9).
example(active(m530),1,10).
example(active(m535),1,4).
example(active(m540),-1,8).
example(active(m545),-1,5).
example(active(m550),1,9).
example(active(m555),-1,1).
example(active(m560),1,5).
example(active(m565),1,1).
example(active(m570),-1,6).
example(active(m575),1,8).
example(active(m581),1,1).
example(active(m587),-1,1).
example(active(m593),-1,6).
example(active(m598),-1,7).
example(active(m603),1,8).
example(active(m609),1,9).
example(active(m5),-1,1).
example(active(m14),-1,7).
example(active(m19),-1,6).
example(active(m24),-1,8).
example(active(m29),-1,4).
example(active(m34),-1,5).
example(active(m40),1,4).
example(active(m45),-1,1).
example(active(m50),-1,5).
example(active(m55),-1,9).
example(active(m60),-1,8).
example(active(m65),-1,6).
example(active(m70),-1,10).
example(active(m75),-1,6).
example(active(m80),1,4).
example(active(m85),1,3).
example(active(m93),1,8).
example(active(m98),1,4).
example(active(m103),1,10).
example(active(m109),-1,8).
example(active(m115),1,8).
example(active(m120),1,10).
example(active(m125),1,6).
example(active(m130),-1,4).
example(active(m135),-1,4).
example(active(m140),-1,4).
example(active(m145),-1,9).
example(active(m150),1,6).
example(active(m155),-1,9).
example(active(m160),-1,10).
example(active(m166),-1,7).
example(active(m172),-1,1).
example(active(m177),-1,5).
example(active(m182),-1,3).
example(active(m187),-1,4).
example(active(m192),1,4).
example(active(m197),-1,8).
example(active(m202),-1,1).
example(active(m207),-1,1).
example(active(m212),1,2).
example(active(m217),1,1).
example(active(m222),-1,4).
example(active(m227),1,1).
example(active(m232),-1,1).
example(active(m237),-1,4).
example(active(m242),-1,9).
example(active(m247),-1,4).
example(active(m252),-1,7).
example(active(m258),1,1).
example(active(m263),-1,5).
example(active(m270),-1,1).
example(active(m275),1,10).
example(active(m280),-1,3).
example(active(m285),1,5).
example(active(m290),1,10).
example(active(m296),1,3).
example(active(m301),1,10).
example(active(m306),-1,2).
example(active(m311),-1,1).
example(active(m316),1,10).
example(active(m322),-1,4).
example(active(m327),1,1).
example(active(m332),-1,1).
example(active(m337),-1,4).
example(active(m342),1,1).
example(active(m348),1,2).
example(active(m354),-1,10).
example(active(m359),-1,9).
example(active(m364),1,7).
example(active(m369),-1,10).
example(active(m374),1,1).
example(active(m379),-1,2).
example(active(m385),-1,7).
example(active(m391),-1,5).
example(active(m396),-1,5).
example(active(m401),1,9).
example(active(m407),-1,7).
example(active(m412),-1,2).
example(active(m417),-1,5).
example(active(m422),1,1).
example(active(m427),-1,9).
example(active(m433),1,2).
example(active(m438),-1,1).
example(active(m444),-1,4).
example(active(m449),-1,2).
example(active(m455),-1,2).
example(active(m461),1,6).
example(active(m466),1,1).
example(active(m471),1,9).
example(active(m476),1,5).
example(active(m481),1,10).
example(active(m486),1,4).
example(active(m492),-1,1).
example(active(m497),1,6).
example(active(m502),1,3).
example(active(m508),-1,4).
example(active(m513),-1,9).
example(active(m519),1,8).
example(active(m526),1,9).
example(active(m531),-1,1).
example(active(m536),-1,5).
example(active(m541),-1,6).
example(active(m546),1,8).
example(active(m551),-1,2).
example(active(m556),-1,1).
example(active(m561),-1,7).
example(active(m566),1,1).
example(active(m571),-1,4).
example(active(m576),1,4).
example(active(m582),-1,6).
example(active(m588),1,1).
example(active(m594),-1,3).
example(active(m599),-1,4).
example(active(m604),-1,3).
example(active(m610),1,8).
example(active(m6),1,2).
example(active(m15),-1,1).
example(active(m20),-1,1).
example(active(m25),1,10).
example(active(m30),-1,8).
example(active(m35),-1,2).
example(active(m41),-1,8).
example(active(m46),1,5).
example(active(m51),-1,6).
example(active(m56),-1,2).
example(active(m61),-1,8).
example(active(m66),-1,9).
example(active(m71),-1,3).
example(active(m76),-1,6).
example(active(m81),1,5).
example(active(m86),1,6).
example(active(m94),1,4).
example(active(m99),-1,1).
example(active(m104),1,2).
example(active(m110),-1,10).
example(active(m116),-1,5).
example(active(m121),-1,6).
example(active(m126),1,10).
example(active(m131),-1,4).
example(active(m136),1,10).
example(active(m141),-1,7).
example(active(m146),1,7).
example(active(m151),-1,5).
example(active(m156),-1,1).
example(active(m161),-1,9).
example(active(m167),1,3).
example(active(m173),-1,1).
example(active(m178),1,7).
example(active(m183),1,1).
example(active(m188),-1,8).
example(active(m193),1,3).
example(active(m198),-1,10).
example(active(m203),-1,9).
example(active(m208),-1,2).
example(active(m213),-1,2).
example(active(m218),-1,7).
example(active(m223),1,2).
example(active(m228),-1,2).
example(active(m233),1,9).
example(active(m238),-1,2).
example(active(m243),-1,2).
example(active(m248),1,6).
example(active(m253),1,1).
example(active(m259),-1,1).
example(active(m264),1,9).
example(active(m271),-1,4).
example(active(m276),1,8).
example(active(m281),-1,1).
example(active(m286),-1,2).
example(active(m291),-1,4).
example(active(m297),-1,5).
example(active(m302),-1,4).
example(active(m307),-1,8).
example(active(m312),-1,8).
example(active(m317),-1,6).
example(active(m323),-1,2).
example(active(m328),1,3).
example(active(m333),1,7).
example(active(m338),1,7).
example(active(m343),-1,6).
example(active(m350),-1,5).
example(active(m355),-1,2).
example(active(m360),-1,8).
example(active(m365),-1,2).
example(active(m370),-1,4).
example(active(m375),-1,5).
example(active(m380),1,9).
example(active(m387),-1,7).
example(active(m392),-1,2).
example(active(m397),1,6).
example(active(m403),-1,1).
example(active(m408),1,7).
example(active(m413),1,6).
example(active(m418),-1,4).
example(active(m423),1,2).
example(active(m428),-1,1).
example(active(m434),1,2).
example(active(m439),1,10).
example(active(m445),-1,6).
example(active(m450),-1,8).
example(active(m457),-1,7).
example(active(m462),1,9).
example(active(m467),1,6).
example(active(m472),-1,5).
example(active(m477),-1,8).
example(active(m482),1,10).
example(active(m487),-1,7).
example(active(m493),1,7).
example(active(m498),1,7).
example(active(m503),1,7).
example(active(m509),1,8).
example(active(m514),1,1).
example(active(m520),1,5).
example(active(m527),-1,2).
example(active(m532),-1,1).
example(active(m537),-1,9).
example(active(m542),-1,2).
example(active(m547),1,5).
example(active(m552),-1,9).
example(active(m557),1,9).
example(active(m562),-1,5).
example(active(m567),-1,6).
example(active(m572),-1,8).
example(active(m577),1,10).
example(active(m583),-1,9).
example(active(m589),-1,5).
example(active(m595),-1,6).
example(active(m600),1,9).
example(active(m605),-1,9).
example(active(m612),1,10).
